
int main(int argc, char *argv[])
{
    char b[1024];
    char *pb, *p;

    pb = b;
    p = argv[1];
    do
      {
	  *pb++ = *p++;
      }
    while (*p != '\0');
//    int len = strlen(argv[1]);
//    CCured problem with linking to strlen ?
    //CCured wouldn't compile with strcpy() ?
    //strcpy(b,argv[0]);
}
